Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Knihovna vzorů Petriho sítí
Hanák, Martin ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato bakalářská práce se zabývá vytvářením modelů pomocí formalismu Objektově orientovaných Petriho sítí (dále jen OOPN). Rozebírá význam a možnosti tohoto formalismu a ve své druhé části se snaží identifikovat užitečné nebo často se opakující vzory. Tyto vzory jsou inspirovány konstrukcemi klasických programovacích jazyků. Jde především o manipulaci s daty a řízení běhu programu. Nalezené vzory popisují a diskutují možnosti modelování takových konstrukcí pomocí OOPN.
Knihovna vzorů Petriho sítí
Hanák, Martin ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato bakalářská práce se zabývá vytvářením modelů pomocí formalismu Objektově orientovaných Petriho sítí (dále jen OOPN). Rozebírá význam a možnosti tohoto formalismu a ve své druhé části se snaží identifikovat užitečné nebo často se opakující vzory. Tyto vzory jsou inspirovány konstrukcemi klasických programovacích jazyků. Jde především o manipulaci s daty a řízení běhu programu. Nalezené vzory popisují a diskutují možnosti modelování takových konstrukcí pomocí OOPN.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.